Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
141	Orthomodularity in dagger biproduct categories John Harding Abstract Add to Reading List Source URL: ncatlab.org Language: English Algebra Additive categories Functional analysis Mathematical logic Quantum logic Biproduct Projection Algebraic structure Hilbert space Mathematics Physics Quantum mechanics
142	Multiversal Polymorphic Algebraic Theories — Syntax, Semantics, Translations, and Equational Logic — Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-24 15:15:34 Symbol Model theory Structure Admissible rule Monoid Sigma-algebra Orbifold Programming Computable Functions Mathematics Abstract algebra Mathematical logic
143	A Complex Logic for Computation with Simple Interpretations for Physics Richard G. Shoup Interval Research Add to Reading List Source URL: www.rgshoup.com Language: English - Date: 2008-07-18 00:32:35 Mathematical logic Algebraic logic Logic Boolean algebra Laws of Form XOR gate OR gate Digital electronics Exclusive or Mathematics Logic gates Abstract algebra
144	Reprints in Theory and Applications of Categories, No. 12, 2005, pp. 1–288. TOPOSES, TRIPLES AND THEORIES Add to Reading List Source URL: www.emis.de Language: English - Date: 2005-06-22 13:21:20 Sheaf theory Algebraic topology Topos Adjoint functors Philosophers of mathematics Categorical logic Sketch Michael Barr Alexander Grothendieck Category theory Mathematics Abstract algebra
145	´ ´ H. ANDREKA, Add to Reading List Source URL: www.math-inst.hu Language: English - Date: 2003-08-05 15:11:27 Abstract algebra Abstract algebraic logic Cylindric algebra Boolean algebra Alfred Tarski Universal algebra General frame Modal logic Model theory Mathematical logic Algebraic logic Mathematics
146	ARTIFICIAL INTELLIGENCE 255 Add to Reading List Source URL: www.researchgate.net Language: English Algebraic structures Logic in computer science Boolean algebra Rewriting Lambda calculus Ring Canonical form Knuth–Bendix completion algorithm Boolean algebras canonically defined Mathematics Abstract algebra Mathematical logic
147	Zentralblatt MATH Mathematics Subject Classification 2010 Add to Reading List Source URL: www.zentralblatt-math.org Language: English - Date: 2009-11-25 06:46:12 Algebraic structures Algebraic logic Lattice theory Fields of mathematics Mathematical structures Distributive lattice Combinatorics Areas of mathematics Graph theory Mathematics Abstract algebra Mathematical logic
148	Pseudocode for a recursive solution to the Knight’s Tour problem. The players: o Add to Reading List Source URL: www.wou.edu Language: English - Date: 2008-01-10 12:55:32 FO Finite model theory Algebraic logic Mathematical logic Formal methods Boolean algebra Mathematics Theoretical computer science Abstract algebra
149	DRAFT Canonicity for 2-Dimensional Type Theory Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-27 08:12:31 Proof theory Algebraic topology Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Valuation Fundamental group Connection Abstract algebra Mathematics Topology
150	Foundations and Applications of Higher-Dimensional Directed Type Theory Robert Harper and Daniel R. Licata Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-05-26 15:05:42 Type theory Logic in computer science Algebraic topology Dependently typed programming Proof theory Curry–Howard correspondence Category theory Equivalence of categories Sheaf Mathematics Abstract algebra Mathematical logic

UPDATE